Automatic Promotions in Java